$\vdash$  $\forall$$P$:$\mathbb{P}$. Dec($P$) $\Rightarrow$ Stable\{$P$\}